$\forall$$g$:IAbMonoid. Comm($\mid$$g$$\mid$;$\ast$)